In this post we first study some properties of a holomorphic map from its Jacobian, and then introduce the concept of submanifolds and subvarieties. After that we disuss a bit about differential forms, which is a preparation for calculus on a complex manifold.
Inverse function thorem and implicit function theorem
In analogy to the real case, we have the following two standard results.
Theorem (Inverse function theorem). Suppose is an open subset and is holomorphic. If is nonsingular at , then there exists a neighborhood containing and a neighborhood containing such that is a holomorphic homeomorphism.
Proof: Since at , the real inverse function theorem yields a smooth inverse of near . It remains to show the holomorphic property of . As , we have for any . It follows from the nonsingularity of that for each and , implying that is holomorphic.
Theorem (Implicit function theorem). Suppose is an open subset, and is holomorphic. If satisfies that then there exist open subset and a holomorphic map such that and
Proof: Again the real implicit function theorem yields a smooth function satisfying the required property. To show the holomorphic property, note that for , which implies for any and .
However, we also have some special features of the complex case.
Theorem. Suppose is a bijective holomorphic map between two open subsets . Then is nonvanishing. In particular, is a holomorphic homeomorphism.
Proof: Prove by induction on . The case when is proved in the reviewing post of holomorphic functions of one variable. Suppose the assertion is proved for any . Consider any such that . We claim that . Assume that . Then we may suppose that is nonsingular. By the inverse function theorem, form a local coordinate system around . It is clear that maps bijectively to . However, the Jacobian of the restriction of to is singular at , which contradicts the induction hypothesis. We conclude that we must have .
By the above discussion, we see that is constant on each connected component of . Since Weierstrass preparation theorem tells us that has positive dimension locally if it is nonempty, the injectivity of implies that is nonvanishing on .
Submanifolds and subvarieties
Like the real case, we can consider submanifolds of a compplex manifold. Suppose is a complex manifold of dimenional . Then a -dimensional complex submanifold is a subset of satisfying that there is a collection of holomorphic coordinate charts of covering such that for each ,
By the inverse function theorem, we can see that this is equivalent to that is given by the zero sets of holomorphic functions such that .
The idea of express a subset as the zero set of some holomorphic functions gives us the concept of subvarieties. An analytic subvariety of a complex manifold is a subset given locally as the zero set of a finite collection of holomorphic functions. A point is called a smooth point or a regular point if is given in a neighborhood of by holomorphic functions with . Denote the set of regular points on by , and let . The points in are called sigular points of . An analytic variety is irreducible if it cannot be written as the union of two proper analytic subvarieties.
We can see that each connected component of is a complex submanifold . There is a theorem saying that an analytic variety is irreducible if and only if is connected. Thus we can define the dimension of an irreducible variety to be the dimensional of .
Differential forms on a complex manifold
The last part of this post devotes to some discussion of -forms on a complex manifold . Viewing as a smooth manifold, we can consider the space of -forms on . Let Then the exterior differentiation gives a linear map
For each point , the decomposition
induces a decomposition
Correspondigly, we obtain the decomposition where consists of -forms satisfying for each . A form is said to be of type , and is also called a -form on .
Let be the projection of onto . Define Using local coordinates, we may consider a -form and direct computation yields that and
We can verify that the operators and have the following properties:
;
and ;
for and , we have
We see that and have the similar properties to the exterior differentiation . In next post, they will be used to build a holomorphic analogy to the de Rham cohomology theory.
Complex manifolds are basic objects in complex geometry, just like smooth manifolds are basic objects in differential geometry. We introduce complex manifolds as an analogy of smooth manifolds. Yet it is worth noting some differences between the complex case and the real case.
Definition and examples
A complex manifold (of dimension ) is a -dimensional smooth manifold with an open cover and coordinate maps , such that is holomorphic on .
Like the real case, we can define holomorphic functions on a complex manifold and holomorphic maps between complex manifolds. A holomorphic map which has a holomorphic inverse is called a holomorphic homeomorphism.
The holomorphic condition is actually a quite strong restriction to functions. This can be seen from the following proposition.
Proposition. Any holomorphic function on a compact connected complex manifold is constant.
Proof: Suppose is holomorphic. Since is compact, the continuous function attains its maximum at some point . Consider a coordinate chart with . Then the maximal module principal on implies that is constant. As is connected, must be constant on the whole .
The above proposition suggests that any compact connected complex manifold cannot be holomorphicly embedded in any . However, we still want to put a compact complex manifold into some good space. That is why we introduce the projective spaces.
Use to specify a point in . Define an equivalence relation on by that if and only if for some . The collection of equivalence classes is called the (-dimensional) projective space, denoted by . The equivalence class containing is denoted by , with called the homogeneous coordinates of .
Similar to the real case, we can show that is an -dimensional complex manifold. Consider the unit sphere . The restriction of the natural projection to gives a continuous surjection onto . Since is compact, is also compact.
The projective space can be viewed as a compactification of . Consider the inclusion given by This inclusion is a holomorphic homeomorphism from to an open subset of , and the complement of its image is naturally identified with . When , we see that is exactly the Riemann sphere.
Another example of a compact complex manifold is a complex torus. Suppose are linearly independent as vectors in a real vector space. Let be the lattice generated by . Then is a compact smooth manifold together with a complex manifold structure induced from the covering map . This is called the (-dimensional) complex torus. We see that when , is diffeomorphic to an ordinary torus .
We try to generalize the construction of the complex torus. Suppose is a topological covering map and is a complex manifold. A desk transformation is a homeomorphism from to itself such that . If each desk transformation on is holomorphic, then we can equip with a well-defined complex manifold structure induced from that of . This is similar to the process that defines a quotient smooth manifold.
Consider the group of self-homeomorphisms on generated by the map . Let be the quotient smooth manifold of this group action. Then the natural projection gives a complex manifold structure on , making into a -dimensional complex manifold, called the Hopf surface. The Hopf surface is a compact complex manifold that cannot be embedded in any projective space .
Tangent spaces and cotangent spaces
Next we introduce the tangent space of a complex manifold. Suppose is a -dimensional complex manifold and . Since is a -dimensional smooth manifold, we can consider the real tangent space of at . Let be the complexified tangent space. An element in , called a complex tangent vector of at , is identified with a -linear derivation on the ring of germs of complex-valued smooth functions on a neighborhood of .
Let be the ring of germs of holomorphic functions around , and be that of antiholomorphic functions, i.e., the functions whose conjugates are holomorphic.
If a complex tangent vector vanishes on , then we call a holomorphic tangent vector, and if vanishes on , then we call an antiholomorphic tangent vector. Then collection of all holomorphic (resp. antiholomorphic) tangent vectors is called the holomorphic tangent space (resp.antiholomorphic tangent space) of at , denoted by (resp.).
We try to show that and are both -dimensional complex linear spaces with
Suppose is a holomorphic coordinate chart of around , with . Then form a (-linear) basis of . Let Then Cauchy-Riemann equations imply that form a basis of , while form a basis of . The direct sum decomposition follows.
We can also construct the corresponding cotangent spaces of at . Let be the dual space of , whose elements are called complex cotangent vectors of at . A complex cotangent vector vanishing on (resp.) is called a holomorphic cotangent vector (resp.antiholomorphic cotangent vector), and then we can similarly define the holomorphic cotangent space and the antiholomorphic cotangent space. Note that can be naturally identified with the dual of , while is identified with the dual of .
If we use the local coordinates around , then form a basis of . The corresponding bases of and are then given by and which are exactly the dual basis of and , respectively.
Tangent maps and Jacobians
Since we have tangent spaces of a complex manifold, we can consider the corresponding tangent maps. Suppose and are complex manifolds of dimensional and , respectively. Then any smooth map with induces a tangent map and then a map However, in general, this does not induce a holomorphic tangent map from to , as well as a antiholomorphic tangent map from to .
Proposition. Suppose and are complex manifolds of dimensional and , respectively, and is a smooth map. Consider the tangent map . Then is holomorphic if and only if .
Proof: Note that is equivalent to that is antiholomorphic whenever is antiholomorphic. The latter is directly equivalent to that is holomorphic.
Now suppose is a holomorphic map. Consider the local coordinates around and the local coordinates around . The holomophic tangent map can be expressed by the holomorphic Jacobian Suppose for and for . With respect to the bases and , the real tangent map is given by the real Jacobian If we pass through the tensor product with to consider the complex tangent map, and change our bases into and , we obtain the complex Jacobian
Since and only differ by a change of basis, we have Moreover, when , we have As an corollary, any complex manifold is orientable, as we can fix a natural orientation on by the -form and pull this back through the holomorphic coordinate maps. The pullbacks agree with each other on the intersections of coordinate neighborhoods and hence give a well-defined orientation on the -dimensional complex manifold .
In this post, we explore some properties of the ring and analytic germs in .
First we can show that the local ring is a noetherian UFD. Note that we have the results in algebra that
if is a UFD, then is a UFD;
if is a UFD and are relatively prime, then there exist and nonzero such that .
Theorem. The local ring is a UFD.
Proof. Prove by induction on . When , is a field and clearly a UFD. Suppose is a UFD. Then is a UFD. By Weierstrass preparation theorem, it remains to show that any irreducible factor of a Weierstrass polynomial in is also irreducible in . However, this follows from the facts that any Weierstrass polynomial can be written as a product of irreducible Weierstrass polynomials, and that any irreducible Weierstrass polynomial is irreducible in . These facts can be proved by direct applications of Weierstrass preparation theorem.
Recall that a commutative ring is called noetherian if every ideal in is finitely generated. Hilbert’s basis theorem tells us that if is noetherian then is also noetherian.
Theorem. The local UFD is noetherian.
Proof. Prove by induction on . The result is trivial when . Now suppose that is noetherian. Then is noetherian. Consider any non-trivial ideal and take a nonzero . Up to a change of coordinates, we may assume with a Weierstrass polynomial and a unit. Then . Since is noetherian, the ideal is generated by finitely many elements . For any , Weierstrass division theorem gives with , and then . It follows that . We conclude that is finite generated.
We can consider the zero set of a germ . In fact, what we consider is a germ of sets. Define an equivalence relation on the collection of subsets of by that if and only if there exists an open neighborhood of such that . An equivalence class of with respect to this equivalence relation is called a germ of sets in . Now we can define to be the germ given by the zero set of . Moreover, we can define for a subset its zero set to be the germ given by the common zero set of functions in . Note that the inclusion, union and intersection of germs are all well-defined. We can see that
Proposition. Suppose is irreducible. If vanishes on , i.e., , then divides .
Proof: We may assume is a Weierstrass polynomial with degree . Since is irreducible, and are relatively prime in , and hence there exists a nonzero such that It follows that if has a multiple root in , then is a zero of . Meanwhile, from the identity theorem we see that has an empty interior.
Weierstrass division theorem yields with a Weierstrass polynomial of degree less than . We must have as . Therefore for any outside , has at least distinct roots, implying that for the degree reason. It follows that is identically zero and divides .
Proposition. If is a holomorphic function on a neighborhood of such that is irreducible in , then is irreducible in for in a sufficiently small neighborhood of .
Proof: We may assume is a Weierstrass polynomial. If is reducible in , then with , and hence This shows that the germ of the set of points such that is reducible in is contained in . It suffices to show that is a proper subset of . This is direct from the preceding proposition.
Proposition. If and are holomorphic functions in a neighborhood of such that they are relatively prime in , then and are relatively prime in for in a sufficiently small neighborhood of .
Proof: Still we may assume are both Weierstrass polynomials. Then they are relatively prime as elements in and hence there exist and nonzero such that . This holds on a sufficiently small neighborhood around .
If have a non-unit common factor in , then divides and hence belongs to . It follows that is zero, and hence and are both zero, a contradiction.
Now we consider the relations between ideals of and germs in . A germ in is called analytic if there exist such that as germs. For a germ in , we let to be the set of elements satisfying .
Using the definitions and the fact that is noetherian, we can see that is an ideal of for any germ , and is an analytic germ in for any , where is the ideal generated by . Moreover, the assignments and are both inclusion-reserving. We also have for any analytic germ in and for any ideal .
An analytic germ is called irreducible if any decompostion such that and are analytic germs implies either or .
Proposition. An analytic germ in is irreducible if and only if is a prime ideal in .
Proof: First suppose that is irreducible and . Then we have and hence . Since is irreducible, we must have either or , which implies either or .
Now suppose that is a prime ideal and with analytic germs. If , then , which suggests that is a proper subset of . If we further have , then we can take and . Since , , contradicting to that is a prime ideal.
The final conclusion of the relations between ideals and germs is given by the analytic version of Nullstellensatz.
Theorem (Nullstellensatz). If is an ideal, then where is the radical of , i.e., the ideal of all elements such that for some .
The complete proof is too involved to be presented, so we will just prove the pricipal ideal case of Nullstellensatz.
Proof (of principal case): Suppose is nonzero and . We may assume with a unit and irreducible. Then it suffices to show that each divides . However, this is clear since vanishes on and hence .
For a holomorphic function of one variable, we can consider the decomposition where is an -order zero of and is holomorphic. We want to obtain a similar description of holomorphic functions of several variables near a zero.
To find such decomposition, we need to figure out a special kind of holomorphic functions which share the same zeros with the original holomorphic functions. Consider the Weierstrass polynomials (in , of degree ), which have the form where are holomorphic functions in on a neighborhood of such that
We see that for any fixed such that the above Weierstrass polynomial is defined, has exactly zeros (with multiplicities) as a holomorphic function in .
Lemma. Suppose is a holomorphic function on a neighborhood of , and is a -order zero of the function in . Then there exists a polydisc and such that for each , has exactly zeros (with multiplicities) on as a holomorphic function in .
Proof: There exists such that is the only zero of on . Then there exists such that for any and .
Let be the number of zeros (with multipicities) of on . The argument principle implies that and hence is holomorphic in on by a lemma from the previous post. Thus must be constant, i.e.,
Theorem (Weierstrass preparation theorem). Suppose is a holomorphic function on a neighborhood of , such that and is a nonzero holomorphic function in . Then there exists a polydisc around , a unique Weierstrass polynomial in and a holomorphic function on such that
Proof: Take the same polydisc and the same as the proof of the lemma. Suppose is a -order zero of . By the lemma, we can let be the zeros of on for each .
By residue theorem we have and hence the left hand side is holomorphic in . It follows that the function defined by is a Weierstrass polynomial in a neighborhood of , such that and have exactly the same zeros on this neighborhood.
For each , there is a unique such that is holomorphic in on and that . We can see from the Cauchy integral formula in and a lemma from the previous post that is also holomorphic in , and hence holomorphic in .
The uniqueness of is clear from the fact that and must have the same zeros. The uniqueness of then follows from the identity theorem.
For each holomorphic function on an open subset , we denote the zero set of by . The Weierstrass preparation actually gives a description of in a neighborhood of a zero. The construction of the holomorphic in the theorem can be modified to a proof of the following Riemann extension theorem.
Theorem (Riemann extension theorem). Suppose is a nonzero holomorphic function on a connected open set and is holomorphic and bounded. Then can be extended to a holomorphic function .
Another Weierstrass theorem is concerned with the Euclid algorithm of holomorphic functions.
Theorem (Weierstrass division theorem). Suppose is a holomorphic function on a neighborhood of and is a Weierstrass polynomial in of degree defined around . Then there exists a sufficiently small neighborhood of , a uniquely determined holomorphic function on and a uniquely determined Weierstrass polynomial in of degree less than , such that
Proof: The unique statement can be proved in a similar way to the unique statement of an ordinary Euclid algorithm. Now we show the existence. Taking a sufficient small neighborhood we may define such that is holomorphic for and . It remains to show that is a Weierstrass polynomial with degree less than the degree of .
Suppose Then we can write where are determined by and holomorphic in and . It follows that where are holomorphic in .
For the preceding theorems, we often need to take smaller and smaller neighborhoods. In convenience, we introduce the concept of germs of functions.
Suppose is a fixed point. Let be the set of holomorphic functions defined in some neighborhood of . Define an equivalence relation on by that if and only if and agree with each other on a sufficiently small neighborhood of . An equivalence class of with respect to this equivalence relation is called a germ of holomorphic functions near , and the collection of all such germs is denoted by .
We can see that has a natural ring structure with identity given by the constant function . It can be verified that the units in are the germs given by the functions such that . This imples that is a local ring, whose unique maximal ideal consisting of the germs given by the functions vanishing at . We may use the same notation for a function and the germ it determines for short.
Now we can formulate Weierstrass theorems using the language of germs.
Theorem (Weierstrass preparation theorem). If satisfies that and that is nontrivial, then can be uniquely decomposed as , where is a Weierstrass polynomial and is a unit in .
Theorem (Weierstrass division theorem). Let and let be a Weierstrass polynomial of degree . Then there exist uniquely determined and a Weierstrass polynomial such that .
The theory of holomorphic functions of several variables is the foundation of complex geometry, which uses as its local model. We try to generalize some results from the one variable case, and explore some different phenomena in the several variables case.
Suppose is a point in and satisfies for each . Then we define the polydisc to be the set consisting of the points such that
For a continuous function defined on a connected open subset , we say is holomorphic on if holds on . Meanwhile, we can define for each , called the partial derivative of with respect to .
Applying the result of the one variable case, we obtain the following formula.
Theorem (Cauchy integral formula). Suppoose is a continuous function such that is holomorphic with respect to each single component at each point in . Then for each the following holds
The above formula can be used to obtain the the power series expansion of a holomorphic function. Suppose is a connected open subset and is holomorphic. Then for each , there is a polydisc such that where
The preceding results enable us to generalize the identity theorem, the maximal module principle and the Schwarz lemma to the several variables case.
Theorem (Identity theorem). Suppose is a connected open subset in and is holomorphic. If vanishes on a neighborhood of some , then equals zero on the entire .
Proof: Let be the subset of consisting of the points on a neighborhood of which vanishes. Then is nonempty and open. By the local power series expansion of holomorphic functions, we see that if and only if all derivatives of vanish at , implying that is also closed in . It follows that is exactly the entire .
Theorem (Maximal module principle). Suppose is a connected open subset in and is holomorphic. If attains a maximal value at , then is constant on .
Theorem (Schwarz lemma). Suppose and let . Suppose is holomorphic with , and for each . Then for each , we have where
Proof: For a fixed , let Applying the one-variable Schwarz lemma to the function given by we obtain that
An interesting phenomenon which is not expected for the one variable case is the following theorem.
Theorem (Hartogs’ theorem). Suppose and and satisfy that for each . Then any holomorphic function can be uniquely extended to a holomorphic map .
We refer to the proof of this theorem in Huybrechts’ book.
Lemma. Suppose is an open subset of , is a neighborhood of for some , and is a holomorphic function. Then the function given by is holomorphic.
Proof: Since is compact, we can cover it with finitely many neighborhoods with such that on each neighborhood the power series expansion of converges uniformly, and hence commutes with the integral. This yields a power series expansion of locally.
Now we turn to the proof of Hartogs’ theorem.
Proof of Hartogs’ theorem: For any such that for each , gives a holomorphic function on the annulus .
Consider the Laurent expansion
Then since the lemma implies that is holomorphic for .
Meanwhile, the function is holomorphic for any when , which suggests that when and . It follows from the identity theorem that holds whenever . (This is where we need )
Define This power series converges uniformly on the disc , as the maximal module of each can only be attained on the boundary, and that the power series converges on the annulus.
In this post, we are going to prove the Riemann mapping theorem, which characterizes the simply connected open subsets in .
Theorem (Riemann mapping theorem). Suppose is a simply connected nonempty proper subset in and . Then there exists a unique bijective and holomorphic with nonvanishing derivative such that and .
Remark: A bijective and holomorphic function with nonvanishing derivative is usually called a conformal function. This is equivalent to that the function has a holomorphic inverse.
First let us consider the uniqueness statement.
Theorem (Schwarz lemma). Suppose is holomorphic and satisfies . Then for each and . If either there is a nonzero such that , or , then for some .
Proof: Since , there is a holomorphic function such that for each . For each , the maximal value of on can only be attained on , implying that It follows that on . Therefore for any and . If either of the equality holds, then must be constant on by the maximal module principle. Thus for some and .
The uniqueness statement of the Riemann mapping theorem then follows from the Schwarz lemma. In fact, suppose and both satisfies the conditions, then we can consider the holomorphic functions and . The Schwarz lemma then implies that and are only differ by a rotation. Since their derivatives are both positive real at , they are actually the same.
Before the proof of the existence statement, we introduce the concept of univalent functions. A function on a connected open set is called univalent if is injective and holomorphic.
Theorem. Suppose is a connected open set in and is univalent. Then has no zero on .
Proof: Assume for some . Let . Then is a zero of with order . Take a neighborhood of on which is the only zero of . By a similar proof to the open mapping theorem, for each sufficiently near , the total order of zeros of in the neighborhood is . Since is nonzero at these zeros, they must be different zeros of order , contradicting the injectivity of . We conclude that cannot have any zero on .
Since a bijective and holomorphic function is naturally univalent, it must have nonvanishing derivative, and hence become conformal.
Theorem (Montel theorem). Suppose is a connected open set in , and is a nonempty family of holomorphic functions on such that is uniformly bounded on each compact subset. Then is equicontinuous on each compact subset, and each sequence in has a subsequence that is uniformly convergent on each compact subset.
Proof: First we show that for each , there is such that and is equicontinuous on . Since is open, we can take . Let , and we see that . There is such that for each and each , we have . Consider any . Take . For each such that , and each , we have
Then we show that is equicontinuous on each compact subset. Consider any compact subset and . For each , there is a neighborhood such that is equicontinuous on . Since form an open cover of and is compact, there are such that By the Lebesgue number lemma, we have a such that for , implies that they are contained in the same for some . As shown in the previous part, for each there is such that Let . Then we can see that for each such that , and each , we have .
Now we show the final conclusion. Suppose is a sequence in . Take a sequence of compact substes of such that that for ech , and that for each compact , there is such that . By the previous part and the Arzela-Ascoli theorem, there is a subsequence of such that converges uniformly on . Then there is a subsequence of such that converges uniformly on . Doing this repeatedly, we have a list of sequence such that converges uniformly on for each . Let . For a compact , take such that contains . We see that is a subsequence of , implying that converges uniformly on .
Now we step into the proof of the existence statement of the Riemann mapping theorem.
STEP 1. Each simply connected nonempty proper subset of can be conformally mapped into a subset of , with the given maps to .
Take . Since is simply connected, we have take a simple-valued holomorphic branch of We can directly see that is injective. Fix a . We claim that has a positive lower bound on . Otherwise, there is a sequence in such that . Then implying that , a contradiction. Thus is a bounded univalent mapping on . By a scaling and a translation, we get a conformal mapping from to a subset of that maps to .
Therefore we can assume that is contained in and that .
Lemma. Suppose is a connected open set in and is a sequence of univalent functions on such that converges uniformly to on each compact subset. Then either is constant or is univalent.
Proof: The Cauchy integral formula and the uniform convergence on each compact subset implies that is holomorphic. Assume that is nonconstant and not injective. Then there are in such that . Since is nonconstant, there is such that is the only zero of in . It follows from the argument principle that Noting that each is injective, and that we have the uniform convergence we obtain a contradiction. The conclusion follows.
STEP 2. The “maximal” univalent function from to preserving the origin is the desired conformal mapping.
Let be the family of all univalent functions from to that maps to . Since the identity function belongs to , is nonempty. It is clear that is uniformly bounded. Take such that . By the Cauchy integral formula, we have Thus is finite. Meanwhile, as the identity function belongs to , we have . Suppose is a sequence in such that . By the Montel theorem, there is a subsequence of converging uniformly to a function on each compact subsets on . We can then see that is univalent and from the lemma and the fact that . Thus with .
It remains to show that is surjective onto . Assume that is not surjective. Then there is . Let Then is a conformal mapping from to itself that switches and . It follows that does not contain , and hence there is a simple-valued holomorphic branch of Consider It can be seen that is univalent with , i.e., . Let and Since is not injective, it cannot be a rotation, and then the Schwarz lemma suggests that . Noting that , we have If is positive, then , contracting to that is the supremum. Otherwise , a contradiction as well. In conclusion, must be surjective.
The proof of the Riemann mapping theorem is now completed.
We will focus on complex geometry for quite a long time from now on. Before we step into the world of complex manifolds and related structure, a review of holomorphic functions of one variable is of great help. The first part will focus on some conclusions which are useful in the theory of holomorphic functions of several variables, and the second part will devote to the Riemann mapping theorem.
Suppose is a connected open set in and is a function. Then is called holomorphic if for each , the limit exists. Viewing as a subset of , we have the partial derivatives of with respect to and . It can be seen that is holomorphic on if and only if the Cauchy-Riemann equation holds on , with the derivative Let then the above conditions become
An important part of the complex analysis is concerned with the integral of a function along a contour (piecewise differentiable path).
Theorem (Cauchy-Goursat). Suppose is a connected open set in and is a holomorphic function. Then for each contour that is contractible in ,
Using Cauchy-Goursat theorem, we can consider contours of simpler shapes without changing the value of the integral. An important fact about the holomorphic functions is that they are actually smooth and analytic, shown by the following theorems.
Theorem (Cauchy integral formula). Suppose is a connected open set in and is holomorphic. Then exists and is holomorphic on for each , with where is a simple contour that can be contracted to in .
Theorem (Taylor series). Suppose is a connected open set in and is holomorphic. Then for each , the Taylor expasion holds in a neighborhood .
Corollary. Suppose is a connected open set in and is holomorphic. If is a zero of with order , i.e., then there is a holomorphic function such that and
By this corollary, we may consider a contour contracted to such that there are no other zeros of inside , since is nozero in a neighborhood of . Noting that we have implying that where the last equality holds from the Cauchy integral formula and the Cauchy-Goursat theorem as is holomorphic inside . This extends to the argument principle.
Theorem (Argument principle for zeros). Suppose is a connected open set in and is holomorphic. If are the zeros of inside a simple contour , with orders , then
Theorem (Extension theorem). Suppose is a connected open set in , and is bounded and holomorphic. Then can be extended to a holomorphic function .
Proof: Define by for and where is a sufficiently small contour aorund contained in . The bounded of can imply the holomorphic property of at .
Another important corollary of the Cauchy integral formula is the maximal module principle.
Theorem (Maximal module principle). Suppose is a connected open set in and is holomorphic. If attains a maximal value , then is constant on .
Proof: Consider the inequality which holds for sufficiently small and implies that is constant aroud . The Cauchy-Riemann equations then implies that is constant near , and an application of the Taylor series and the path-connectedness of shows that is constant on the whole .
Next we come across the theorem which decribes the topological property of a holomorphic function.
Theorem (Open mapping theorem). Suppose is a connected open set in and is a non-constant holomorphic function. Then is an open mapping.
Proof: It suffices to show that is an open set. Take any and let . There is such that is the unique zero of in . Let and take . We claim that . Consider any and let . We have and . Thus where the last equality holds for the argument principle. We then see that has a zero in .